3. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
4. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
5. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
6. Fuzzy Set Theory-and Its Applications
پدیدآورنده : by H.-J. Zimmermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
7. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764